A sequent calculus for skeptical reasoning in autopeistemic logic
نویسنده
چکیده
A sequent calculus for skeptical consequence in infinite autoepistemic theories is presented and proved sound and complete. While skeptical consequence is decidable in the finite case, the move to infinite theories increases the complexity of skeptical reasoning to being Π1-complete. This implies the need for sequent rules with countably many premises, and such rules are employed.
منابع مشابه
Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system. We study the formal properties desirable for a “good” nonmonotonic relation: supraclassicality, cut, cautious monotony, cumulativity, absorption, ...
متن کاملProof Complexity of Propositional Default Logic
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bou...
متن کاملAxiomatization of Credulous Reasoning in Rational Default Logic
Nonmonotonic reasoning is succesfully formalized by the class of default logics. In this paper we introduce an axiomatic system for credulous reasoning in rational default logic. Based on classical sequent calculus and anti-sequent calculus, an abstract characterization of credulous nonmonotonic default inference in this variant of default logic is presented.
متن کاملA Sequent Calculus for a Paraconsistent Nonmonotonic Logic ?
In spite of sequent calculus being an appealing tool for describing logical systems, its use along with nonmonotonic logics has been largely neglected. Reasons may be the hardness in implementing a context sensitive mechanism able to detect changes in the theory. This seems to brake the locality of context of sequent rules. Nevertheless, a nonmo-notonic sequent calculus may be helpful if result...
متن کاملPrincipal-Centric Reasoning in Constructive Authorization Logic
We present an authorization logic that is quite similar to constructive modal S4. The logic assumes that principals are conceited in their beliefs. We describe the sequent calculus, Hilbert-style axiomatization, and Kripke semantics of the logic. A distinguishing characteristic of the sequent calculus is that hypothetical reasoning is relativized to beliefs of principals. We prove several meta-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004